
16.03.07.
Weak_seq is not implemented yet.